//package formula;
//
//import atom.UnaryAtom;
//import literal.UnaryLiteral;
//
//public class RelationFormula extends UnaryFormula{
//    public RelationFormula(String str){//我这里默认所有的relationFormula都不是negated，日后可能会有问题，需要修改
//        super(new UnaryLiteral(new UnaryAtom(str+"'"),false));
//    }
//
//   // @Override
//    public boolean hasRelationWith(UnaryFormula unaryFormula){//当前对象是RF类型。输入应该为unary formula类型
//        UnaryAtom unaryAtom=(UnaryAtom) unaryFormula.literal.getAtom();
//        String changed_atom=unaryAtom.toString()+"'";
//        UnaryAtom relatedAtom=(UnaryAtom) this.literal.getAtom();
//        if (relatedAtom.toString().equals(changed_atom)){
//            return true;
//        }else {
//            return false;
//        }
//
//    }
//
//    @Override
//    public String toString(){
//        return literal.toString();
//        }
//
//
//    public boolean equals(RelationFormula rf){
//        String this_str=this.literal.toString();
//        String rf_str=rf.literal.toString();
//        if (this_str.equals(rf_str)){
//            return true;
//        }else {return false;}
//    }
//}
